Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
521	Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005 Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-07-29 10:40:50 Applied mathematics Computing Formal verification Model checking Programming tool Programming language Exception handling Device driver synthesis and verification Computer-aided software engineering Formal methods Logic in computer science Theoretical computer science
522	Commutative closures of regular languages Commutative closures of regular languages Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2010-08-17 15:33:58 Formal languages Semigroup theory Monoid Free monoid Trace monoid Regular language Trace theory Abstract algebra Category theory Mathematics
523	Statistical Machine Translation using Ordinal Regression and Beam Search Decoder Ankit Patel Shruthi Narayan Manekta Bedi Srikanth Muralidharan Add to Reading List Source URL: www.sfu.ca Language: English - Date: 2015-03-05 20:09:52 Evaluation of machine translation Neural networks Machine translation Statistical machine translation Statistical natural language processing Perceptron BLEU Algorithm Dynamic programming Mathematics Statistics Applied mathematics
524	The University of Birmingham School of Computer Science Operational Domain Theory and Topology of Sequential Functional Languages Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-08-28 06:12:06 Mathematics Applied mathematics Denotational semantics Order theory Operational semantics Domain theory Semantics of programming languages Topology Completeness Theoretical computer science Logic in computer science Programming language semantics
525	invited paper in Proc. of Hybrid Systems: Computation and Control (HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005 Operational Semantics of Hybrid Systems Edward A. Lee and Haiyang Zheng? Center for Hybrid and Emb Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2005-03-05 16:31:49 Models of computation Programming language semantics Logic in computer science Control theory Signal processing Denotational semantics Hybrid system Scicos Operational semantics Theoretical computer science Mathematics Applied mathematics
526	Revisiting the Evaluation of Diversified Search Evaluation Metrics with User Preferences ? Fei Chen1 , Yiqun Liu1 , Zhicheng Dou2?? , Keyang Xu1 , Yujie Cao1 , Min Zhang1 , and Shaoping Ma1 1 Add to Reading List Source URL: www.thuir.cn Language: English - Date: 2014-08-11 19:48:27 Preference Information retrieval Utility Science Applied mathematics Knowledge Natural language processing Mathematical and theoretical biology STING
527	Secrecy-Preserving Query Answering for Instance Checking in EL Jia Tao, Giora Slutzki, and Vasant Honavar Iowa State University, Ames, IA, USA Abstract. We consider the problem of answering queries against an Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-01-30 20:13:58 Structure Universal algebra Formal language Parity of a permutation Mathematics Group theory Model theory
528	slide 1 gaius Stacks the behaviour of stack methods are to: Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:33:45 Computing Subroutines Mathematics Abstract data type Stack-oriented programming language Stack Software engineering Algebraic stack
529	L4: Engineering of MT and CAT systems Christian BOITET GETALP-LIG-UJF, Grenoble, France © Ch. Boitet —!NII MT lectures Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-01-12 02:04:55 Ethology Computational linguistics Q-systems Rewriting Language Linguistics C Science Formal languages Mathematics
530	Motivation Intra-procedural analysis depends upon accurate control-flow information. In the presence of certain language features (e.g. indirect calls) it is nontrivial to predict accurately how control may flow at execu Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-23 06:00:00 Mathematical logic Function Lambda calculus Control flow analysis Combinatory logic Fixed-point combinator Mathematics Data-flow analysis Theoretical computer science

UPDATE